- 双语例句 更多例句
1、
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
2、
搜寻这个错误很容易, 维护和修改这个程式也很容易.
互联网摘选
3、
A set of input data and conditions used to check the program correctness.
一组用于检查程序正确性的输入数据和条件.
词典精选例句
4、
5、
- 相关词组
- United Nations Development Program联合国开发计划署;
- uranium enrichment program铀浓缩计划;
- map programun.变换程序；分布图程序
- executive development program主管发展计划;
- problem program问题程序;
- jap-job analysis program工作分析程序法;
- program musicn.标题音乐，描写音乐;
- TV programn.电视节目;
- political correctnessn.政治正确性;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- drawing program放矿计划;
- program behavior model程序功效模型;
- program directorn.节目部主任，计划主持人;
- united nations development program网络联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
- flexible benefits program弹性福利计划;
- sustaining programn.<美>非营业性的独立节目;非商业节目;
- tv programn.电视节目;
- anti-virus program防毒程序;
- pilot program试点计划;
- modularized program模块化程序;
- 今日热词
- 热门搜索
- dizzy adj.头昏眼花的;使人眩晕的，引起头晕的;昏乱的;愚蠢的;
- carry vt. 支撑;携带;输送;运载;vt.& vi. 运送;搬运;具有;
- PCS abbr.Producibility Cost Study 可生产性成本研究;program counter storage 程序计算内存;punched-card system 打孔卡片系统;
- highway n. 公路;公用通道;干线;途径，方法;
- charles n.查尔斯（男子名，涵义：强壮的，男性的，高贵心灵的）;
- indicate v.表明，暗示;指示;象征;打转向灯指示转弯;被建议;
- crypt n.地窖，（尤指）教堂地下室;
- as long as you love me 只要你爱我;只要你爱我就好;后街男孩;
- channel n.（电视）频道;波段;渠道;方法;沟渠;航道;海峡;v.将(精力或情感)专注于;输送（资金）;
- persuasion n.劝说，说服（力）;信仰;
- Shen 沈;申;慎;参;舍恩
- flood n.洪水;泛滥;溢流;探照灯;vi.涌出;为水淹没;
